TSTP Solution File: SWW477^3 by Nitpick---2016